Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
001E16 | Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon] | Multi-Completion with Termination Tools |
006A45 | Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon, Allemagne] | Transformation techniques for context-sensitive rewrite systems |
00A909 | Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon] | Transforming Context-Sensitive Rewrite Systems |
This area was generated with Dilib version V0.6.33. |